AILP: Abductive Inductive Logic Programming
نویسندگان
چکیده
Inductive Logic Programming (ILP) is often situated as a research area emerging at the intersection of Machine Learning and Logic Programming (LP) This paper makes the link more clear between ILP and LP, in particular, between ILP and Abductive Logic Programming (ALP), 1 e , LP extended with abductive reasoning We formulate a generic framework for handling incomplete knowledge This framework can be instantiated both to ALP and ILP approaches By doing so more light is shed on the relationship between abduction and induction As an example we consider the abductive procedure SLDNFA, and modify it into an inductive procedure which we call SLDNFAI
منابع مشابه
Hybrid abductive inductive learning
This thesis introduces a new Machine Learning technique called Hybrid Abductive Inductive Learning (HAIL) that integrates Abductive Logic Programming (ALP) and Inductive Logic Programming (ILP) in order to automate the learning of first-order theories from examples and prior knowledge. A semantics is proposed called Kernel Set Subsumption (KSS) that generalises the well-known inference method o...
متن کاملInterleaved Inductive-Abductive Reasoning for Learning Event-Based Activity Models
We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal narratives. Typed Inductive Logic Programming (Typed-ILP) is used as a basis for learning the domain theory by generalising from observation data, whereas abductive reasoning is used for noisy data correction by scenario and narrative completion thereby improving the inductive learning to get semanti...
متن کاملNonmonotonic abductive inductive learning
Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge expressed as logic programs. Negation as Failure (NAF) is a key feature of logic programming which provides a means for nonmonotonic commonsense reasoning under incomplete information. But, so far, most ILP research has been aimed at Horn progr...
متن کاملHybrid Abductive Inductive Learning: A Generalisation of Progol
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success, it is known that Bottom Generalisation, and therefore Progol5, are restricted to finding hypotheses that lie within the semantics of Plotkin’s relative subsumption. This paper exposes a previously unknown incompleten...
متن کاملA Hybrid Abductive Inductive Proof Procedure
This paper introduces a proof procedure that integrates Abductive Logic Programming (ALP) and Inductive Logic Programming (ILP) to automate the learning of first order Horn clause theories from examples and background knowledge. The work builds upon a recent approach called Hybrid Abductive Inductive Learning (HAIL) by showing how language bias can be practically and usefully incorporated into ...
متن کامل